21. Algorithms and Discrete Applied Mathematics
Author: \ Editors : Sathish Govindarajan, Anil Maheshwari
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Algorithms,الگوریتمها,a03,a03,Computer science -- Mathematics -- Congresses.,Algorithms -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,الگوریتمها -- کنگره ها
Classification :
QA
76
.
9
.
M35A55
2016
E-Book
,


22. Algorithms and discrete applied mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

23. Algorithms and discrete applied mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

24. Analytical and stochastic modelling techniques and applications :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

25. Applications of categories in computer science :
Author: edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.
Classification :
QA76
.
9
.
M35
L57
1991


26. Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
Author: edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
9
.
M35L5
1991


27. Applications of discrete mathematics
Author: edited by Richard D. Ringeisen and Fred S. Roberts
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Mathematics
Classification :
QA
76
.
9
.
M35C63
1986


28. At the intersection of language, logic, and information :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

29. Building bridges :between mathematics and computer science
Author: / [edited by] Martin Groetschel, Gyula O.H. Katona
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Computer science -- Mathematics,-- Congresses
Classification :
004
.
0151
B932
2008


30. Building bridges: between mathematics and computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
Classification :
QA
76
.
9
.
M35
.
B85
2008


31. Building bridges : between mathematics and computer science
Author: Martin Grotschel, Gyula O. Katona )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Combinatorial analysis
Classification :
QA
76
.
9
.
B84


32. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Author: P. Martin-Lof, G Mints, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
417


33. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
I57
1988


34. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
385


35. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1988


36. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
440


37. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1989


38. CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Author: Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
Classification :
W926c

39. Categorical methods in computer science: with aspects from topology
Author: / H. Ehrig ... [et al.], eds
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science- Congresses,Categories (Mathematics)- Congresses,Topology- Congresses
Classification :
QA75
.
5
.
C36
1989


40. Categorical methods in computer science : with aspects from topology
Author: H. Ehrig...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
Classification :
QA
76
.
L28
Vol
.
393

